$\forall$$A$, $B$:$\mathbb{P}$. (($\neg$$A$) $\vee$ ($\neg$$B$)) $\Rightarrow$ ($\neg$($A$ \& $B$))